Animal welfare and morality of the use of cloned animals

Cloned animals are used in a wide range of species and in many contexts, such as agriculture, pharmaceutical production and animal research. Owing to their many benefits to humans, we can expect that the use of cloned animals will increase. Nevertheless, there is little focus on the ethical problems that are specific to the use of cloned animals among researchers and animal welfare bodies, as well as a lack of engagement with the general public on the subject. Most animal welfare problems that are specific for cloned animals may be ameliorated with improved husbandry methods. However, the discussion of the morality of using cloned animals will remain. This article gives examples of the ethical and welfare problems that are specific for the use of cloned animals compared to the use of conventional farm or research animals, and furthermore discusses the disconnect in the scientific community on their views on the use of cloned animals compared to the views in the general public  &nbsp

Medical Device Interoperability With Provable Safety Properties

Applications that can communicate with and control multiple medical devices have the potential to radically improve patient safety and the effectiveness of medical treatment. Medical device interoperability requires devices to have an open, standards-based interface that allows communication with any other device that implements the same interface. This will enable applications and functionality that can improve patient safety and outcomes. To build interoperable systems, we need to match up the capabilities of the medical devices with the needs of the application. An application that requires heart rate as an input and provides a control signal to an infusion pump requires a source of heart rate and a pump that will accept the control signal. We present means for devices to describe their capabilities and a methodology for automatically checking an application’s device requirements against the device capabilities. If such applications are going to be used for patient care, there needs to be convincing proof of their safety. The safety of a medical device is closely tied to its intended use and use environment. Medical device manufacturers create a hazard analysis of their device, where they explore the hazards associated with its intended use. We describe hazard analysis for interoperable devices and how to create system safety properties from these hazard analyses. The use environment of the application includes the application, connected devices, patient, and clinical workflow. The patient model is specific to each application and represents the patient’s response to treatment. We introduce Clinical Application Modeling Language (CAML), based on Extended Finite State Machines, and use model checking to test safety properties from the hazard analysis against the parallel composition of the application, patient model, clinical workflow, and the device models of connected devices

Assessing practical markers for their suitability in estimating the pain experienced by horses with laminitis

The assessment of pain experienced by horses is complex, often inaccurate, and varies widely among practitioners. During laminitis it is supposed that horses suffer severely from pain. It would be ideal if there were an accurate, reliable and sensitive method of assessing this pain as the condition progresses, and as treatment is applied, to improve the condition of the horse. This work considers various parameters and their suitability as markers to assess the pain experienced by horses undergoing treatment for laminitis. Fourteen horses were assessed during their treatment period. Heart rate, respiration rate and hoof temperature were all significantly correlated with the Obel grading score for lameness. Other parameters, including body temperature, digital pulse and behavioural attitude were not. The horses improved their lameness grade over the period of the trial. It is concluded that the use of the simple practical measures described may be usefully applied by owners and practitioners as markers to estimate the pain suffered by horses under their care

Biomedical Devices and Systems Security

Medical devices have been changing in revolutionary ways in recent years. One is in their form-factor. Increasing miniaturization of medical devices has made them wearable, light-weight, and ubiquitous; they are available for continuous care and not restricted to clinical settings. Further, devices are increasingly becoming connected to external entities through both wired and wireless channels. These two developments have tremendous potential to make healthcare accessible to everyone and reduce costs. However, they also provide increased opportunity for technology savvy criminals to exploit them for fun and profit. Consequently, it is essential to consider medical device security issues. In this paper, we focused on the challenges involved in securing networked medical devices. We provide an overview of a generic networked medical device system model, a comprehensive attack and adversary model, and describe some of the challenges present in building security solutions to manage the attacks. Finally, we provide an overview of two areas of research that we believe will be crucial for making medical device system security solutions more viable in the long run: forensic data logging, and building security assurance cases

FABIO NAPOLITANO 1963- 2022

Editoria

Is the Pale Blue Dot unique? Optimized photometric bands for identifying Earth-like exoplanets

The next generation of ground and space-based telescopes will image habitable planets around nearby stars. A growing literature describes how to characterize such planets with spectroscopy, but less consideration has been given to the usefulness of planet colors. Here, we investigate whether potentially Earth-like exoplanets could be identified using UV-visible-to-NIR wavelength broadband photometry (350-1000 nm). Specifically, we calculate optimal photometric bins for identifying an exo-Earth and distinguishing it from uninhabitable planets including both Solar System objects and model exoplanets. The color of some hypothetical exoplanets - particularly icy terrestrial worlds with thick atmospheres - is similar to Earth's because of Rayleigh scattering in the blue region of the spectrum. Nevertheless, subtle features in Earth's reflectance spectrum appear to be unique. In particular, Earth's reflectance spectrum has a 'U-shape' unlike all our hypothetical, uninhabitable planets. This shape is partly biogenic because O2-rich, oxidizing air is transparent to sunlight, allowing prominent Rayleigh scattering, while ozone absorbs visible light, creating the bottom of the 'U'. Whether such uniqueness has practical utility depends on observational noise. If observations are photon limited or dominated by astrophysical sources (zodiacal light or imperfect starlight suppression), then the use of broadband visible wavelength photometry to identify Earth twins has little practical advantage over obtaining detailed spectra. However, if observations are dominated by dark current then optimized photometry could greatly assist preliminary characterization. We also calculate the optimal photometric bins for identifying extrasolar Archean Earths, and find that the Archean Earth is more difficult to unambiguously identify than a modern Earth twin.Comment: 10 figures, 38 page

Robert Burns Woodward

This poster for the Natural Sciences Poster Session at Parkland College features chemist Robert Burns Woodward (1917-1979). Woodward was awarded the Nobel Prize in Chemistry in 1965 for his work on organic synthesis. His work on total synthesis includes cholesterol, chlorophyll, colchicine, erythromycin, reserpine, and vitamin B12

Model-Based Programming of Modular Robots

Modular robots are a powerful concept for robotics. A modular robot consists of many individual modules so it can adjust its configuration to the problem. However, the fact that a modular robot consists of many individual modules makes it a highly distributed, highly concurrent real-time system, which are notoriously hard to program. In this work, we present our programming framework for writing control applications for modular robots. The framework includes a toolset that allows a model-based programing approach for control application of modular robots with code generation and verification. The framework is characterized by the following three features. First, it provides a complex programming model that is based on standard finite state machines extended in syntax and semantics to support communication, variables, and actions. Second, the framework provides compositionality at the hardware and at the software level and allows building the modular robot and its control application from small building blocks. And third, the framework supports formal verification of the control application to aid the gait and task developer in identifying problems and bugs before the deployment and testing on the physical robot